#ifndef __HAVE_IDT_H
#define __HAVE_IDT_H

#include <types.h>

void idt_set_gate(_u8 num, _u32 base, _u16 selector, _u8 flags);
void idt_install();

#endif /* __HAVE_IDT_H */
